Makefile: install-tools does not depend on ioemu-dir if CONFIG_IOEMU=n

Based on patch by George Dunlap.

Signed-off-by: Keir Fraser <keir@xen.org>

diff --git a/Makefile b/Makefile
index 9f1e3c4af1e556f225fa7d1610399aead1eac1ff..31e87958f097ebfa5256f2146e00c4edd773451d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -66,9 +66,13 @@ install-xen:
        $(MAKE) -C xen install
 
 .PHONY: install-tools
-install-tools: tools/ioemu-dir
+install-tools:
        $(MAKE) -C tools install
 
+ifeq ($(CONFIG_IOEMU),y)
+install-tools: tools/ioemu-dir
+endif
+
 .PHONY: install-kernels
 install-kernels:
        for i in $(XKERNELS) ; do $(MAKE) $$i-install || exit 1; done